$\forall$$a$, $b$:$\mathbb{Q}$. ($a$ = $b$) $\Rightarrow$ $a$ $\leq$ $b$